reducible topological space

可缩拓扑空间